A bimodal perspective on possibility semantics
نویسندگان
چکیده
منابع مشابه
A bimodal perspective on possibility semantics
In this paper we develop a bimodal perspective on possibility semantics, a framework allowing partiality of states that provides an alternative modeling for classical propositional and modal logics [Humberstone, 1981, Holliday, 2015a]. In particular, we define a full and faithful translation of the basic modal logic K over possibility models into a bimodal logic of partial functions over partia...
متن کاملOn the possibility of a bimodal solar dynamo
A simple way to couple an interface dynamo model to a fast tachocline model is presented, under the assumption that the dynamo saturation is due to a quadratic process and that the effect of finite shear layer thickness on the dynamo wave frequency is analoguous to the effect of finite water depth on surface gravity waves. The model contains one free parameter which is fixed by the requirement ...
متن کاملOn a New Bimodal Normal Family
The unimodal distributions are frequently used in the theorical statistical studies. But in applied statistics, there are many situations in which the unimodal distributions can not be fitted to the data. For example, the distribution of the data outside the control zone in quality control or outlier observations in linear models and time series may require to be a bimodal. These situations, oc...
متن کاملA Semantics for Possibility Theory Based on Likelihoods
In this paper, a semantic basis for Possibility Theory based on likelihood functions is presented. In some cases, possibilities have been considered as approximations of Shafer plausibility measures. This approximation exchanges exactness of plausibility values for the simplicity of use of possibility values. In this paper, a different direction is followed. Possibility measures are considered ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2016
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exw024